1

Proof theory for minimal quantum logic II

Year:
1994
Language:
english
File:
PDF, 635 KB
english, 1994
3

Proof theory for minimal quantum logic I

Year:
1994
Language:
english
File:
PDF, 496 KB
english, 1994
9

Synthetic Vector Analysis

Year:
2002
Language:
english
File:
PDF, 154 KB
english, 2002
12

Heyting valued set theory and Sato hyperfunctions

Year:
1986
Language:
english
File:
PDF, 898 KB
english, 1986
18

Boolean Valued and Stone Algebra Valued Measure Theories

Year:
1994
Language:
english
File:
PDF, 402 KB
english, 1994
19

Is the semantics of branching structures adequate for chronological modal logics?

Year:
1979
Language:
english
File:
PDF, 294 KB
english, 1979
20

Representations of empirical set theories

Year:
1994
Language:
english
File:
PDF, 850 KB
english, 1994
30

Descriptively complete process logic

Year:
1980
Language:
english
File:
PDF, 551 KB
english, 1980
32

Synthetic Vector Analysis II

Year:
2004
Language:
english
File:
PDF, 79 KB
english, 2004
37

Manuals in orthogonal categories

Year:
1995
Language:
english
File:
PDF, 944 KB
english, 1995
38

A Lost Mathematician, Takeo Nakasawa ||

Year:
2009
Language:
english
File:
PDF, 7.33 MB
english, 2009
44

Sequential method in propositional dynamic logic

Year:
1979
Language:
english
File:
PDF, 832 KB
english, 1979
45

Empirical sets

Year:
1995
Language:
english
File:
PDF, 1.05 MB
english, 1995